Язык описания таких схем под названием Balsa использует формализм CSP (Communicating Sequential Processes) за авторством Тони Хоара, человека, подарившего нам NULL ( Read more... )

Пытался собрать материал для первой главы "типа, книги" и понять, что же из синтаксиса и возможностей языка описывать ( Read more... )

http://www.ics.forth.gr/carv/async/demo/

Кстати, о недавней задаче.

Она сильно завязана на порядок вычислений. И если на императивных языках его приходится контролировать и отслеживать, то в других - нет. Это облегчает дизайн программы и снимает (еще) одну головную боль.

Сейчас мне лень глубоко думать на эту тему, но быстрый и наверняка неправильный хак моего симулятора в сторону снижения расходов на инферсию показал, что схема 4-хбитного сумматора в асинхронном режиме выполняется за вдвое меньшее количество шагов по вентилям.

( Временные диаграммы )

( Ныряй, если интересно )

Те, которые clockless ( Read more... )

Дискуссия на слешдоте.

Интересные цитаты:
...To overclock a self-timed design, you simply increase the voltage. No need to screw around with clock multipliers; as long as your oxide holds up, your traces don't migrate, and the chip doesn't melt ( Read more... )